41. Decision Making: Recent Developments and Worldwide Applications
پدیدآورنده: edited by Stelios H. Zanakis, Georgios Doukidis, Constantin Zopounidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data structures (Computer science).,Economics.,Industrial management.,Operations research.
42. Design and implementation of symbolic computation systems :
پدیدآورنده: A. Miola, (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
43. Developing Information Systems :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: System design.,Computer science-- Congresses.,Database management, Congresses.,Information storage and retrieval systems-- Congresses.
رده :
QA75
.
5
44. Digital Product and Process Development Systems
پدیدآورنده: edited by George L. Kovács, Detlef Kochan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software.,Business-- Data processing.,Computer science.,Computer-aided engineering.,Information technology.
45. Distributed Systems :
پدیدآورنده: by Albert Fleischmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
46. ESPRIT '90 :
پدیدآورنده: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer science.
47. Embedded systems /
پدیدآورنده: D P Kothari, Shriram K Vasudevan, Sundaram R M D, and Murali N.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Embedded computer systems.,Operating systems (Computers),Systems engineering.,Embedded computer systems.,Operating systems (Computers),Systems engineering.
رده :
TK7895
.
E42
48. Encyclopedia of Computer Science and Technology /
پدیدآورنده: edited by Phillip A. Laplante.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
رده :
T58
.
5
.
E53
2017
49. Encyclopedia of Membranes / Volume 2, F-N / Enrico Drioli, Lidietta Giorno - editors.
پدیدآورنده: Enrico Drioli, Lidietta Giorno - editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
50. Engineering Secure Software and Systems :
پدیدآورنده: edited by Jan Jürjens, Benjamin Livshits, Riccardo Scandariato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
51. Engineering trustworthy software systems :
پدیدآورنده: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
52. Euro-Par 2018 :
پدیدآورنده: edited by Gabriele Mencagli, Dora B. Heras et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Parallel processing (Electronic computers), Congresses.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I58
2018eb
53. European Symposium on Computer Aided Process Engineering--10 :
پدیدآورنده: organized by AIDIC, the Italian Association of Chemical Engineering ; edited by Sauro Pierucci.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemical process control-- Data processing, Congresses.,Computer integrated manufacturing systems, Congresses.,Chemical process control-- Data processing.,Computer integrated manufacturing systems.,SCIENCE-- Chemistry-- Industrial & Technical.,TECHNOLOGY & ENGINEERING-- Chemical & Biochemical.
رده :
TP155
.
75
.
E97
2000eb
54. Event-based neuromorphic systems /
پدیدآورنده: edited by Shih-Chii S. Liu, Tobi Delbruck, Giacomo Indiveri, Adrian Whatley, Rodney Douglas
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Discrete-time systems.,Neural networks (Neurobiology)-- Simulation methods.,Neuromorphics.
رده :
TA164
.
4
55. Evolvable Components :
پدیدآورنده: by Lukáš Sekanina.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer vision.,Software engineering.
رده :
TK7874
.
6
B958
2004
56. Expert Systems and Robotics
پدیدآورنده: edited by Timothy Jordanides, Bruce Torby.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Physics.
رده :
QA76
.
76
.
E95
E358
1991
57. Expert Systems in Engineering Applications
پدیدآورنده: edited by Spyros Tzafestas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Engineering economy.
رده :
TA345
.
E358
1993
58. Eye tracking methodology :
پدیدآورنده: Andrew T. Duchowski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer vision.,Eye tracking.,Human-computer interaction.,Computer graphics.,Computer vision.,Eye tracking.,Human-computer interaction.
رده :
QA76
.
9
.
H85
59. FM '99 - formal methods / 2.
پدیدآورنده: Jeannette M. Wing ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
60. Formal methods for industrial critical systems :
پدیدآورنده: Falk Howar, Jiří Barnat (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
F67
I58
2018eb
